A WSDL-Based Type System for WS-BPEL
نویسندگان
چکیده
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL. To this aim, first we select an expressive subset of WS-BPEL, with special concern for modeling the interactions among web service instances in a network context, and define its operational semantics. We call - the resulting formalism. Then, we put forward a rigorous typing discipline that formalizes the relationship existing between - terms and the associated WSDL documents and supports verification of their compliance. We prove that the type system and the operational semantics of - are ‘sound’ and apply our approach to a pair of illustrative examples. Finally, we extend the - to define an operational semantics for whole WS-BPEL.
منابع مشابه
A WSDL-based type system for asynchronous WS-BPEL processes
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. We focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. We present this langua...
متن کاملBPEL-TC: Orchestration of Temporally Customized Web Services
WS-BPEL is way to orchestrate web services. It defines business processes that interact with external entities through web service operations using WSDL. The existing system defines service flow using Web Services based on WSDL. We have proposed BPEL-TC, an extension to existing WS-BPEL which uses temporally customized Web Services as a model for process decomposition and assembly. WSDL-TC hand...
متن کاملChoreography Design Using WS-BPEL
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an agreed standard to describe the behavior of a single process (WS-BPEL), there is no agreed standard to describe choreographies. In this paper, we give an overview about existing approaches to model choreographies and p...
متن کاملGenerating WS-SecurityPolicy Documents via Security Model Transformation
When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable security definition compared to manually crafting the security realizations afterwards. In this paper, we outline an appropriate security model definition and transformation approach, targeting the WS-SecurityPolicy and WS-BPEL...
متن کاملFrom AUML to WS-BPEL
The Web Services (WS) technology is currently gaining a wider and wider consensus. The features that characterise WSs, namely heterogeneity, distribution, openness, highly dynamic interactions, are some among the key characteristics of another emerging technology, that of intelligent agents and Multi-Agent Systems (MASs). In this paper we discuss the relationships between WSs and intelligent ag...
متن کامل